\begin{lstlisting}
sage: F2 = FiniteField(2)
sage: PS.<x> = PowerSeriesRing(F2)
sage: f = x^2 + x
sage: g = x^3 + x + 1
sage: f/g + O(x^16)
x + x^4 + x^5 + x^6 + x^8 + x^11 + x^12 + x^13 + x^15 + O(x^16)
\end{lstlisting}
